484f2cff7169cbd9b8b795d4c0a7f6c82f037d03,StgPlugin/src/org/workcraft/plugins/stg/serialisation/DotGSerialiser.java,DotGSerialiser,writeMarking,#Model#Collection#PrintWriter#,155

Before Change


            if (p instanceof StgPlace) {
                if (((StgPlace) p).isImplicit()) {
                    Node predNode = model.getPreset(p).iterator().next();
                    String predFlatName = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(predNode));
                    Node succNode = model.getPostset(p).iterator().next();
                    String succFlatName = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(succNode));
                    reference = "<" + predFlatName + "," + succFlatName + ">";
                } else {
                    reference = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(p));
                }
            } else {
                reference = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(p));
            }
            if (tokens == 1) {
                markingEntries.add(reference);
            } else if (tokens > 1) {
                markingEntries.add(reference + "=" + tokens);
            }
        }
        Collections.sort(markingEntries);
        out.print(".marking {");
        boolean first = true;
        for (String m : markingEntries) {
            if (!first) {
                out.print(" ");
            } else {
                first = false;
            }
            out.print(m);
        }
        out.print("}\n");
        StringBuilder capacity = new StringBuilder();
        for (Place p : places) {
            if (p instanceof StgPlace) {
                StgPlace stgPlace = (StgPlace) p;
                if (stgPlace.getCapacity() != 1) {
                    String flatName = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(p));
                    capacity.append(" " + flatName + "=" + stgPlace.getCapacity());
                }
            }

After Change


            if (p instanceof StgPlace) {
                if (((StgPlace) p).isImplicit()) {
                    Node predNode = model.getPreset(p).iterator().next();
                    String predRef = model.getNodeReference(predNode);
                    Node succNode = model.getPostset(p).iterator().next();
                    String succRef = model.getNodeReference(succNode);
                    reference = "<" + predRef + "," + succRef + ">";
                } else {
                    reference = model.getNodeReference(p);
                }
            } else {
                reference = model.getNodeReference(p);
            }
            if (tokens == 1) {
                markingEntries.add(reference);
            } else if (tokens > 1) {
                markingEntries.add(reference + "=" + tokens);
            }
        }
        Collections.sort(markingEntries);
        out.print(".marking {");
        boolean first = true;
        for (String m : markingEntries) {
            if (!first) {
                out.print(" ");
            } else {
                first = false;
            }
            out.print(m);
        }
        out.print("}\n");
        StringBuilder capacity = new StringBuilder();
        for (Place p : places) {
            if (p instanceof StgPlace) {
                StgPlace stgPlace = (StgPlace) p;
                if (stgPlace.getCapacity() != 1) {
                    String placeRef = model.getNodeReference(p);
                    capacity.append(" " + placeRef + "=" + stgPlace.getCapacity());
                }
            }